How the Lean language brings math to coding and coding to math
amazon.science·10h·
Discuss: Hacker News
🔬Lean
Toward a Trustworthy Optimization Modeling Agent via Verifiable Synthetic Data Generation
arxiv.org·58m
🎯Performance Proofs
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·2d·
Discuss: Hacker News
💧Liquid Types
Gotta Go Fast: Jobs, Emails and Cache with Rails
blog.codeminer42.com·11h
🔄Sync Engine
Designing a Flexible Ability System in Games Using the Chain of Responsibility Pattern
hackernoon.com·8h
✨Algebraic Effects
New Features Everywhere: Launching Version 14.3 of Wolfram Language & Mathematica
writings.stephenwolfram.com·11h
💧Liquid Types
We beat GPT-4o's baseline with a simple re-prompting loop
aimon.ai·6h·
Discuss: Hacker News
🌳Incremental Parsing
AI-Context Documentation: The Missing Link in AI-Assisted Development
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·1d
📝Concrete Syntax
SAT Requires Exhaustive Search
link.springer.com·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·2d·
Discuss: Substack, r/programming
🎯Proof Tactics
Automated Code Repair for C/C++ Static Analysis Alerts
arxiv.org·58m
📊Static Analysis
Context Engineering — A Comprehensive Hands-On Tutorial with DSPy
towardsdatascience.com·52m
✨Effect Handlers
How to build the #1 open source terminal-use agent
letta.com·9h·
Discuss: Hacker News
🖥️Modern Terminals
[P] Implementing Einsum
lyadalachanchu.github.io·2d
📐Linear Algebra
Fine-tuning with GPT-OSS and Hugging Face Transformers
cookbook.openai.com·9h·
Discuss: Hacker News
📝ABNF Parsing
Making of SARE: Master Seeds in Hybrid Post-Quantum Encryption
zola.ink·18h·
Discuss: Hacker News
🌳Archive Merkle Trees
The Amaranth hardware description language
amaranth-lang.org·1h·
Discuss: Hacker News
🔍FPGA Verification
Show HN: Using DSPy to enrich a dataset of the Nobel laureate network
blog.kuzudb.com·1d·
Discuss: Hacker News
📊Citation Graphs
Light-IF: Endowing LLMs with Generalizable Reasoning via Preview and Self-Checking for Complex Instruction Following
arxiv.org·58m
📏Linear Logic